<%@ page language="java" contentType="text/html; charset=ISO-8859-1"
    pageEncoding="ISO-8859-1"%>
<%@ page import="net.greyar.theory.View" %>
<%@ page import="net.greyar.theory.Symbol" %>
<% View view = (View) session.getAttribute("view"); %>
<% String s = "&nbsp;"; %>
<% String t = "&nbsp;&nbsp;&nbsp;&nbsp;"; %>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Insert title here</title>
</head>
<body>
<pre>
</pre>
</body>
</html>